1. Crosswordclues
  2. Logic in computer science

Crossword Dictionary

Enter a description, or enter a word with dots for missing letters

Show answer

40 crossword answers for “Logic in computer science”

5 letters
TWELF
6 letters
FLUENT
7 letters
WALKSAT
ΛPROLOG
8 letters
COMPCERT
10 letters
HORN CLAUSE (4,6)
11 letters
BOOLEAN FLAG (7,4)
COMBS METHOD (5,6)
PEANO AXIOMS (5,6)
12 letters
BISIMULATION
PRECONDITION
13 letters
EVENT CALCULUS (5,8)
GAME SEMANTICS (4,9)
MODEL CHECKING (5,8)
POSTCONDITION
RACE CONDITION (4,9)
14 letters
BOOLEAN CIRCUIT (7,7)
15 letters
ANTI-UNIFICATION
FORWARD CHAINING (7,8)
SEPARATION LOGIC (10,5)
SEQUENTIAL LOGIC (10,5)
16 letters
LOGICAL FRAMEWORK (7,9)
MODEL ELIMINATION (5,11)
RACETRACK PROBLEM (9,7)
STAR-FREE LANGUAGE (9,8)
17 letters
SUCCESSOR FUNCTION (9,8)
18 letters
COMBINATIONAL LOGIC (13,5)
COMPUTATIONAL LOGIC (13,5)
FORMAL VERIFICATION (6,12)
HORN-SATISFIABILITY
UNDECIDABLE PROBLEM (11,7)
19 letters
HENNESSY-MILNER LOGIC (15,5)
INTUITIONISTIC LOGIC (14,5)
PERCEPTUAL COMPUTING (10,9)
STRUCTURAL INDUCTION (10,9)
21 letters
DENOTATIONAL SEMANTICS (12,9)
STUTTERING EQUIVALENCE (10,11)
22 letters
FUNCTIONAL COMPLETENESS (10,12)
PREFERENTIAL ENTAILMENT (12,10)
25 letters
CURRY-HOWARD CORRESPONDENCE (12,14)